Roles, Counts-as and Deontic and Action Logics
نویسنده
چکیده
• J. Carmo and O. Pacheco, “Deontic and action logics for organized collective agency, modeled through institutionalized agents and roles”, Fundamenta Informaticae, Special Issue on Deontic Logic in Computer Science, Vol 48, Numbers 2,3, pp. 129-163, 2001 • O. Pacheco and J. Carmo, “A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction”, Journal of Autonomous Agents and Multi-Agent Systems, 6, pp. 145-184, 2003
منابع مشابه
Deontic and action logics for collective agency and roles
In this paper we address the problem of collective agency, and propose a deontic/action modal logic for that purpose. We argue that once we want to attribute obligations (permissions or other deontic notions) to a set of agents, we need to consider a new agent – an institutionalized agent, and specify how he interacts with the external world: how the obligations flow from the institutionalized ...
متن کاملAction negation and alternative reductions for dynamic deontic logics
Dynamic deontic logics reduce normative assertions about explicit complex actions to standard dynamic logic assertions about the relation between complex actions and violation conditions. We address two general, but related problems in this field. The first is to find a formalization of the notion of ‘action negation’ that (1) has an intuitive interpretation as an action forming combinator and ...
متن کاملTowards a First-Order Deontic Action Logic
In this article we describe a first-order extension of the deontic logic introduced in [1]. The main useful and interesting characteristic of this extended logic is that it not only provides the standard quantifiers of first-order logic, but it also has similar algebraic operators for actions as for the propositional version of [1]. Since the pioneering works of Hintikka and Kanger, little adva...
متن کاملA Note for Discussion: Treating Disjunctive Obligation and Conjunctive Action in Event Semantics with Disquotation
Standard deontic logics are about what obtains in deontically ideal worlds. Deontic reasoning from the perspective of event semantics and the disquotation (ESD) theory, which we describe briefly, is about individual obligations, permissions, etc. in this, admittedly non-ideal world. Standard deontic logics are beset with a number of puzzling paradoxes and anomalies. Our suggestion here is that ...
متن کاملA Systematics of Deontic Action Logics Based on Boolean Algebra
Within the scope of interest of deontic logic, systems in which names of actions are arguments of deontic operators (deontic action logic) have attracted less interest than purely propositional systems. However, in our opinion, they are even more interesting from both theoretical and practical point of view. The fundament for contemporary research was established by K. Segerberg, who introduced...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006